$\forall$${\it dec}$:(Knd$\rightarrow$Type), $k$:Knd, $v$:${\it dec}$($k$). doact($k$;$v$) $\in$ Action(${\it dec}$)